what is bcnf in dbms with example